A._Chagrov,_M._Zakharyaschev;_"Modal_Logic",_Prop_1.7